面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架，它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先，本文介绍了联邦学习的基本概念和威胁模型，有助于理解其面临的攻击。其次，本文总结了由内部恶意实体发起的3种攻击类型，同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较，进一步讨论了该领域未来的发展方向。     

航空犯罪防控的系统工程分析

通过对航空犯罪防控的系统分析,探寻航空犯罪防控工作规律,研究系统构建的技术方法,认识防控系统工程的特征,做好航空犯罪防控工作。     

浅谈高校后勤服务中的安全管理

随着高校后勤社会化改革的不断发展，高校后勤在市场经济的大潮中不断完善、不断发展，与此同时，高校后勤又面临着进一步深化改革、建立新型服务关系和体制机构以及如何加强安全管理的新形势。如何去适应新的形势的要求，如何提高安全管理的水平，就成了摆在我们面前首先要解决的问题，着重分析了高校后勤服务中的安全管理的目的和意义，指出了高校后勤服务活动中常见事故点，分析了安全事故成因，明确了高校后勤服务中的安全管理的任务，对高校后勤安全管理的发展方向进行了探讨。     

基于IDEA和RSA的网络数据安全系统

随着计算机网络技术的迅猛发展，网络安全越来越受到人们的重视。本文利用密码学的方法来解决网络数据传输的安全性问题，提出一种新型的将ＩＤＥＡ和ＲＳＡ相结合的加密方式来保证网络数据安全，这种方法兼有传统密码体制与公开密钥体制的优点。文中对加密通信过程、解密过程和数字签名及其鉴定过程作了简介，说明了其抗解能力，结论认为，本法是比较理想的加密方式。     

分布式RBAC在社保系统中的应用与研究

基于角色访问控制(RBAC)是实现访问控制的最有效技术，文中探讨了分布式数据库系统下的基于角色访问控制实现机制，并用于大连市机关事业社会保险系统。给出了分布环境下角色、权限的分布管理及域间访问的实现方式，提出了一个新型属性证书。在本分布式系统中，按照业务的实际情况进行了扩充和修改，从安全及可用性上给出了具体的解决方案。     

论谨慎性原则在新会计准则中的体现及实际运用

谨慎性原则是国际通行的会计核算原则 ,作者分析了这一原则在我国新会计准则中的体现及意义 ,同时提出了在实际工作中如何正确运用谨慎性原则的思考。     

人-机系统飞行安全可靠性问题的研究

在分析飞机电传操纵系统（FBW）特点的基础上，建立了习行器和电传操纵系统的数学模型，建立了电传操纵系统故障及飞行员干预的概率模型。应用马尔可夫链建立了人－机产行安全可靠性的数学模型，采用伊万诺夫法评估了某型第三代飞机在电传操纵系统故障报的排除的条件概率，并计算了电传操纵系统故障后该型飞机的飞行风险，最后提出了使用建议及技术改进建议。     

我国开放式基金选股与择时能力的实证分析

开放式基金代表未来基金发展的方向，根据我国证券投资基金发展较快，但发展时间较短的实际情况，选择了比较成熟的单因素T-M模型、H-M模型和Fama-French三因素模型，对2003年12月26日至2006年6月23日间121个交易周的20只开放式基金进行业绩评价，考察证券投资基金能否在我国这种弱式有效的市场上表现出良好的选股与择时能力。结果表明，除个别基金外，我国开放式基金整体不具备择时能力；虽表现出一定的选股能力，但并不显著。     

基于过程工程的航空企业建模技术研究与实现

 通过研究国内航空企业建模的需求，探讨现有企业建模方法的不足，提出了基于过程工程的航空企业建模方法。首先针对航空企业的特点，尤其是考虑到航空军工企业对信息安全性的要求，给出了一个六元组表示的航空企业模型，并对航空企业模型的信息安全子模型进行了详细描述；然后研究了基于过程工程的航空企业建模的实现技术，包括企业模型体系、企业建模支持系统等。建立基于过程工程的航空企业模型，以模型为驱动，为航空企业信息系统的建立、实施和重构提供了基础和依据，适应了航空企业对企业模型动态响应性和信息安全性的要求。该研究成果已成功地应用于某大型航空企业两种型号飞机的研制，实践证明所提出的方法是可行和有效的。